CSE 2231 Glossary
Representation Invariant
Describes which configurations of Instance Variables are considered to be legal. Represented in the class javadoc tag @convention. It must be true after the constructor terminates and at the end of every method call.